Domain Representable Spaces Defined by Strictly Positive Induction
نویسندگان
چکیده
منابع مشابه
Domain Representable Spaces Defined by Strictly Positive Induction
Recursive domain equations have natural solutions. In particular there are domains defined by strictly positive induction. The class of countably based domains gives a computability theory for possibly non-countably based topological spaces. A qcb0 space is a topological space characterized by its strong representability over domains. In this paper, we study strictly positive inductive definiti...
متن کاملDomain-Representable Spaces
In this paper, we study domain-representable spaces, i.e., spaces that can be represented as the space of maximal elements of some continuous directed-complete partial order (= domain) with the Scott topology. We show that the Michael and Sorgenfrey lines are of this type, as is any subspace of any space of ordinals. We show that any completely regular space is a closed subset of some domainrep...
متن کاملDomain Representable Spaces and Completeness
We survey a family of interrelated open questions that link classical completeness theories of Oxtoby, Choquet, and de Groot to the newer area of domain-representable topological spaces. MR classification Primary = 54E52; Secondary = 54E30, 54F05, 54C35, 54H99,06F30
متن کاملWeighted composition operators between growth spaces on circular and strictly convex domain
Let $Omega_X$ be a bounded, circular and strictly convex domain of a Banach space $X$ and $mathcal{H}(Omega_X)$ denote the space of all holomorphic functions defined on $Omega_X$. The growth space $mathcal{A}^omega(Omega_X)$ is the space of all $finmathcal{H}(Omega_X)$ for which $$|f(x)|leqslant C omega(r_{Omega_X}(x)),quad xin Omega_X,$$ for some constant $C>0$, whenever $r_{Omega_X}$ is the M...
متن کاملStrictly positive definite functions on spheres in Euclidean spaces
In this paper we study strictly positive definite functions on the unit sphere of the m-dimensional Euclidean space. Such functions can be used for solving a scattered data interpolation problem on spheres. Since positive definite functions on the sphere were already characterized by Schoenberg some fifty years ago, the issue here is to determine what kind of positive definite functions are act...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logical Methods in Computer Science
سال: 2010
ISSN: 1860-5974
DOI: 10.2168/lmcs-6(3:9)2010